Two issues prevented strict-no-cover from detecting unnecessary pragmas:

1. Coverage 7.13.x changed analysis_from_file_reporter to filter executed
   lines with '& statements', which removes excluded lines from the
   executed set. This breaks strict-no-cover's detection (it checks the
   intersection of excluded_lines and executed_lines). Pin to <7.13.

2. relative_files = true causes coverage to store relative paths, but
   strict-no-cover creates a temp rcfile without [tool.coverage.run]
   settings. Without relative_files in that temp config, coverage can't
   match paths, resulting in empty executed_lines.

Also adds a test pragma on a covered line to verify the check fails.

Restore # pragma: no cover and # pragma: no branch on lines that are
not actually covered in CI (platform-dependent, branch coverage, or
unreachable code paths).

…laky tests

- Remove unnecessary '# pragma: no cover' from 15 src/ files where
  lines are confirmed covered by CI
- Switch flaky test pragmas to '# pragma: lax no cover' for lines that
  are sometimes covered and sometimes not across CI runs

…d ones

- Remove ~80 unnecessary '# pragma: no cover' from src/ files where
  lines are confirmed covered by CI
- Restore pragmas with correct type (no cover vs no branch) for lines
  with missing coverage or branch coverage in batch 1 files

Remove or adjust coverage pragmas in src/ files that were flagged
by strict-no-cover as covering already-tested code.

Changes:
- Remove pragmas from lines/blocks that are fully covered by tests
- Change '# pragma: no cover' to '# pragma: no branch' on lines
  where the condition itself is executed but one branch isn't taken
- Move pragmas from except clause headers to their uncovered bodies
  where the except IS matched but the handler body isn't reached
- Add targeted pragmas to genuinely uncovered code paths (error
  handlers, rarely-hit branches, cleanup paths)

Files modified: 16 src/ files across cli, client, server, and shared